LIFE (Logic, Inheritance, Functions, Equations) is a programming language with a powerful facility for structured type inheritance. LIFE reconciles styles from functional programming and logic programming by implicitly delegating control to an automatic suspension mechanism. This allows interleaving interpretation of relational and functional expressions that specify abstract structural depende...

is well-known in the Operational Research community for his path-breaking contributions to graph theory. He received several awards for his scientific achievements, including the EURO Gold Medal (1989) and the Euler Prize (1995, jointly with R.L. Graham). The name of Claude Berge is likely to remain in history for several other reasons. For instance he was an expert in the Asmat art from New-Gu...